Model-Guided Security Analysis of Interconnected Embedded Systems.

by Yasamin Mahmoodi, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In MODELSWARD, pages 602–609, 2018.